Steering of real-time systems based on monitoring and checking
نویسندگان
چکیده
We present an approach to enhance fault-tolerance of real-time systems through steering. Steering means external alteration of the system's behavior in response to a deviation from requirements. The steering technique is embedded into a framework of monitoring and checking (MaC). MaC allows the users to perform runtime analysis of the current execution of a system with respect to formally speci ed requirements. We describe our current and future work on steering, including the language to specify steering actions and system instrumentation that enables steering. A prototype implementation for monitoring and steering of Java programs is also presented.
منابع مشابه
An Unknown Input Observer for Fault Detection Based on Sliding Mode Observer in Electrical Steering Assist Systems
Steering assist system controls the force transfer behavior of the steering system and improves the steering probability of the vehicle. Moreover, it is an interface between the diver and vehicle. Fault detection in electrical assisted steering systems is a challenging problem due to frequently use of these systems. This paper addresses the fault detection and reconstruction in automotive elect...
متن کاملMonitoring, Checking, and Steering of Real-Time Systems
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring and checking the execution of the target program at run-time. MaC bridges the gap between formal verification, which ensures the correctness of a design rather than an implementation, and testing, which only partially...
متن کاملAssessment of BAM with ANP Approach; Case Study: Bank Sepah
In today's business environment in which coordination and adaptation with constant changes are the only ways of survival, real-time monitoring of activities and making the decisions accordingly are necessary. Since performance measurement cannot be managed independent of business processes, Business Activity Monitoring (BAM) systems should monitor performance metrics based on business processes...
متن کاملRisk-adjusted control charts based on LR-fuzzy data
Control charts are widely used in industrial processes as well as in health sciences and particularly for monitoring the performance of cardiac surgeon or a group of surgeons based on the preoperative risk of patients. Since the preoperative risk is a vague and nonprecise variable and the anesthesiologists after checking how many risk factors a patient has, determine the risk of mortality befor...
متن کاملAssessment of BAM with ANP Approach; Case Study: Bank Sepah
In today's business environment in which coordination and adaptation with constant changes are the only ways of survival, real-time monitoring of activities and making the decisions accordingly are necessary. Since performance measurement cannot be managed independent of business processes, Business Activity Monitoring (BAM) systems should monitor performance metrics based on business processes...
متن کامل